An Automated Confluence Proof for an Infinite Rewrite System via a Gr¨obner Basis Computation Loredana Tec∗ Research Institute for Symbolic Computation, Johannes Kepler University, Castle of Hagenberg, Austria 4032 lt

Source URL: dream.inf.ed.ac.uk

• Algebra
• Abstract algebra
• Mathematics
• Polynomials
• Ring theory
• Algebras
• Differential operator
• Multivariable calculus
• Operator theory
• Associative algebra
• D-module
• Differential algebra

PostDoc Position (f/m, 100%) in the RICAM Research Group “Symbolic Computation” At the Johann Radon Institute for Computational and Applied Mathematics (RICAM) of the Austrian Academy of Sciences, Linz, Austria, the

Source URL: www.ricam.oeaw.ac.at

• Linz
• Oil Campaign of World War II
• Johannes Kepler
• Johann Radon
• Christoph Koutschan
• Bruno Buchberger

Curriculum Vitae Priv.-Doz. Dipl.-Math. Dr. Teimuraz (Temur) Kutsia http://www.risc.jku.at/~tkutsia/ Contact Research Institute for Symbolic Computation (RISC)

Source URL: www.risc.jku.at

RISC-Linz Research Institute for Symbolic Computation Johannes Kepler University A-4040 Linz, Austria, Europe Sixth International Symposium on

Source URL: www.risc.jku.at

• Theoretical computer science
• Mathematics
• Mathematical logic
• Automated theorem proving
• Logic in computer science
• Type theory
• Unification
• Logic programming
• Anti-unification
• Function
• HindleyMilner type system

SCIEnce: The Project Software Composability Symbolic computing on Grid User training and knowledge dissemination SCIEnce :

Source URL: www-circa.mcs.st-and.ac.uk

• Cross-platform software
• Functional languages
• Grid computing
• Symbolic computation
• Mathematica
• Composability
• Research Institute for Symbolic Computation
• Service-oriented architecture
• Maple
• Software
• Mathematical software
• Computing

Curriculum Vitae Wolfgang Schreiner A.Univ.-Prof. Dipl.-Ing. Dr. Wolfgang Schreiner Office address: Research Institute for Symbolic Computation (RISC)

Source URL: www.risc.jku.at

• Reduced instruction set computing
• Johannes Kepler
• Parallel computing
• Computing
• Computer science
• Austria
• European people
• Bruno Buchberger
• Germany
• Research Institute for Symbolic Computation
• Hagenberg im Mühlkreis
• Linz

Institute e-Austria Timisoara IeAT Advancing Information Technology through

Source URL: www.ieat.ro

• Romanian media
• Framework Programmes for Research and Technological Development
• Computer science
• Research Institute for Symbolic Computation
• Formal verification
• European Union
• Europe
• Formal methods
• .ro
• Internet in Romania

Curriculum Vitae Dr. Teimuraz (Temur) Kutsia Research Institute for Symbolic Computation (RISC) Johannes Kepler University, A–4040 Linz, Austria Tel: +[removed]9982 Fax: +[removed]9930

Source URL: www.jst.go.jp

• Hagenberg im Mühlkreis
• Actor model
• Johannes Kepler
• Computing
• Mathematics
• Bruno Buchberger
• Symbolic-numeric computation
• Research Institute for Symbolic Computation
• Computer science
• International Conference on Rewriting Techniques and Applications

Logic Programming Introduction Temur Kutsia Research Institute for Symbolic Computation Johannes Kepler University of Linz, Austria [removed]

Source URL: www.risc.jku.at

• Programming paradigms
• Constraint programming
• Prolog
• Logic programming
• YAP
• Declarative programming
• Software engineering
• Computer programming
• Computing

DISCO within OntoJob and Follow-ups From Semantic Matching of CVs and Job Ads towards Holistic Vocational and Educational Assistance Dr. Mario Pichler +[removed]

Source URL: disco-tools.eu

• Disco
• Music
• Arts
• Technology
• Hagenberg im Mühlkreis
• Softwarepark Hagenberg
• Research Institute for Symbolic Computation